Proposition 5.1.9.

The positive cone of is given by .